sequential compositionの例文
- Note that alternative composition is commutative but sequential composition is not ( because time flows forward ).
- Mathematically, the basic setup is captured by a dagger symmetric monoidal category : composition of morphisms models sequential composition of processes, and the tensor product describes parallel composition of processes.
- In particular, it is easy to define both control structures such as recursion, loops and sequential composition and datatypes such as first-order functions, truth values, lists and integers.
- For example, it might be desirable to specify algorithms such as : " first receive some data on \ mathit { x } and then send that data on \ mathit { y } " . " Sequential composition " can be used for such purposes.
